$\forall$${\it es}$:ES, $i$:Id. Trans($i$) $\in$ $k$:Knd$\rightarrow$kindtype($i$;$k$)$\rightarrow$state@$i$$\rightarrow$state@$i$